COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Papers we don't have are marked by %.
C00023 00003	Papers we don't have are marked by %.
C00044 ENDMK
C⊗;
Papers we don't have are marked by %.
j
                   BIBLIOGRAPHY - NONMONOTONIC REASONING FILE

%Aida, H., Tanaka, H., and Moto-oka, T. [1983] A PROLOG  extension
for  handling  negative  knowledge.   New Generation Computing, 1
(1), 87ff.

%Besnard, Ph., Quiniou, R., and  Quinton,  P.  [1983]  A  theorem-
prover  for  a  decidable subset of default logic. Proc. AAAI-83,
pp. 27-30.

Bibel, W.\First-order reasoning about knowledge and belief\TU Muenchen

%>Bossu, Genevieve and Siegel, Pierre\La Saturation au secours de la non-monotonic\
*(Where the saturation rescues the non-monotony)\Marseilles, France, 1981.

%Brachman, R.J. [1982?] I lied about the trees. Unpublished, Fair-
child Lab for AI Research.

Clark, Keith L.\Negation as failure\Queen Mary College, London

%Cohen, P., and Grinberg, M. [1983] A framework for heuristic rea-
soning about uncertainty. Proc. 8th IJCAI, pp. 355-357.

*Creary, Lewis G.\On the epistemology of commonsense factual reasoning: beyond
>anti-logicism and non-monotonicity\Stanford Univ.\1981.

Davis, Martin\The Mathematics of Non+Monotonic Reasoning\Artificial Intelligence 13\
1980

%Dempster, A.  [1967] Upper and lower probabilities induced  by  a
multivalued mapping. Ann. Math. Statistics, 38, pp. 325-339.

>Doyle, Jon,\Non-monotonic logics and mechanized non-deductive reasoning\
*  Stanford University\1981.

Doyle, Jon\A truth maintenance system\MIT, AI Memo 521\1979.

Doyle, Jon\Admissible state semantics for representational systems\Carnegie-Mellon
   University\1983.

Doyle, Jon\A society of mind\Carnegie-Mellon University\1983.

Doyle, Jon\Expert systems without computers or theory and trust in artificial
   intelligence\Carnegie-Mellon University\1984.

Doyle, Jon\Methodological simplicity in expert system construction\Carnegie-Mellon
   University\1983.

Doyle, Jon\What Should AI wat from the supercomputers?\Carnegie-Mellon University\
   1983.

Doyle, Jon\What is rational psychology?  toward a modern mental philosophy\
   Carnegie-Mellon University\1983.

Doyle, Jon\The ins and outs of reason maintenance\Carnegie-Mellon University\
   1983.

Doyle, Jon\The foundations of psychology, a logico-computational inquiry into the
   concept of mind\Carnegie-Mellon University\1982.

Doyle, Jon\Some theories of reasoned assumptions, an essay in rational
   psychology\Carnegie-Mellon University\1982.

%Doyle, J. [1979] A glimpse of truth maintenance. Proc. 6th IJCAI,
pp. 232-237.

%Doyle, J. and London, P. [????] A selected descriptor-indexed bi-
bliography to the literature on belief revision. MIT AI Memo 568.

Doyle, Jon\Circumscription and Implicit Definability\CS Dept. CMU\
August 31, 1981

Etherington, D. and Reiter, R. [1983] On inheritance  hierarchies
with exceptions. Proc. AAAI-83, pp. 104-108.

>Etherington, David W.\Formalizing Non-Monotonic Reasoning Systems\Univ. of
*British Columbia, Dept. of Computer Science, Tech. Report 83-1\unknown.
*Copy in Non-Monotonic File also.

*Etherington, David W.\Finite Default Theories (thesis)\Univ. of British
>Columbia\August 1982.  Also in non-monotonic file.

Etherington, David, Robert E. Mercer, Raymond Reiter\On the adequacy 
of predicate circumscription for closed-world reasoning\Dept. of CS\University
of British Columbia

%Fahlman, Scott; Touretzky, David S.; Van Roggen, Walter\Cancellation in a Parallel
Semantic Network\IJCAI 81.

>Gabbay, Dov M.\Intuitionistic basis for non-monotonic logic\Univ. of 
*Stuttgart\Lecture notes in computer science, Vol 139, Springer

Gabbay, D.M. and Sergot, M.J.\Negation as inconsistency\Research Report Doc 84/7,
February 1984

%Gabbay, D.M.\N-PROLOG!  An extension of PROLOG with causal implications\
Research Report, Imperial College of Science and Technology, London\1984

Gabbay, D.M.\Theoretical foundations for non-monotonic reasoning in expert systems\
Research Report Draft\Imperial College of Science and Technology, London\April 1984

%Gabbay, D.M.\What is negation in a system and when is failure a negation\
Imperial College of Sciencce and Technology, London\1984

Ginsberg, M.L.\Non-monotonic Reasoning Using Dempster's Rule.

%Grant, J. and Minker, J. [1984] Answering queries  in  indefinite
databases  and the null value problem. Tech. Report 1374, Univer-
sity of Maryland.

%Haas, A. [1981] Reasoning about deduction with unknown constants.
Proc. 7th IJCAI, pp. 382-384.

Halpern, Joe and Yoram Moses\Toward a theory of knowledge and Ignorance\
CS Department\Stanford University

Halpern, Joe and Yoram Moses\Knowledge and common knowledge in a distributed
environment

%Israel, D. [1980] What's wrong with  non-monotonic  logic?  Proc.
AAAI-80, pp.  99-101.

%Konolige, K. [1984] Belief and  incompleteness.  SRI  Tech.  Note
319.

Konolige, Kurt\Circumscriptive Ignorance\Artificial Intelligence Center SRI

Kowalski, Robert\Logic for data description\Imperial College, London

%Kowalski, R. [1979] Logic for Problem Solving. North-Holland, New
York.

%Kramosil, I. [1975] A note on deduction rules with negative prem-
ises.  Proc. 4th IJCAI, pp. 53-56.

%Levesque, H. [1981] Incompleteness in  knowledge  bases.   SIGART
Newsletter 74, p. 150ff.

%Levesque, H. [1981] The  interaction  with  incomplete  knowledge
bases: a formal treatment. Proc. 7th IJCAI, pp. 240-245.

%Levesque, H.J. [1982] A formal treatment of incomplete knowledge.
Fairchild Lab for AI Research, Tech. Report 3.

Levesque J. Hector\A logic of knowledge and active belief\Fairchild Lab. for
Artificial Intelligence Research\Palo Alto, California

Lifschitz, Vladimir\Refelctions on circumscription\Stanford Univ..

Lifschitz, Vladimir\A Logic for Non-Monotonic Reasoning, with Application to 
to Minsky's Bird Problem\Univ. of Texas, El Paso.

Lifschitz, Vladimir\A Special Case of Circumscription\Univ. of Texas, El Paso\
Sept. 1983.

%Lifschitz, V. [????] On non-monotonic  reasoning.  Tech.  Report,
University of Texas.

%Lipski, W. [1977] On the logic of incomplete information. Lecture
Notes  in  Computer  Science,  v.53, Springer, pp. 374-381.  (6th
Symposium on Mathematical Foundations of Computer Science)

%Lukaszewicz, W. [1983] General approach to  nonmonotonic  logics.
Proc. 8th IJCAI, pp. 352-354.

%Lukaszewicz, W. [1984] Non-monotonic logic for default  theories.
Submitted to ECAI-6.

Marek, W.\The Forcing Interpretation of the Non-Monotonic Logic\Dept. of Computer 
Science\Univ. of Kentucky\date unknown.

Marek, W.\A natural semantics for modal logic over databases and model-theoretic
forcing I\Dept. of CS, University of Kentucky

%Martins, J. [1983]  Reasoning  in  multiple  belief  spaces.  PhD
thesis, SUNY at Buffalo, Computer Science Tech. Report 203.

%Martins, J. and Shapiro, S. [1983] Reasoning in  multiple  belief
spaces. Proc. 8th IJCAI, pp. 370-373.

%McAllester, D. [1978] A three-valued  truth  maintenance  system.
MIT AI Lab Memo 473.

%McAllester, D. [1980] An outlook on truth maintenance. MIT AI Lab
Memo 551.

%McAllester, D. [1982] Reasoning utility  package  user's  manual,
version 1. MIT AI Lab Memo 667.

McCarthy, John\Applications of circumscription to formalizing common sense
knowledge\Stanford University

McCarthy, J. [1980] Circumscription--a form of non-monotonic rea-
soning. Artificial Intelligence, 13 (1,2), pp. 27-39.

McCarthy, J. [1980]  Addendum:  circumscription  and  other  non-
monotonic  formalisms.  Artificial  Intelligence,  13  (1,2), pp.
171-172.

McCarthy, J. and Hayes, P. [1969]   Some  philosophical  problems
from the standpoint of artificial intelligence. In Machine Intel-
ligence 4, Meltzer, B. and Michie, D. (eds.), Edinburgh Universi-
ty Press.

McCarthy, John, Masahiko Sato, Takeshi Hayashi, Shigeru Igarashi\On the model
theory of knowledge\Stanford AI Lab Memo AIM-312\Computer Science Dept. Report
No. STAN-CS-78-667\April 1978

McCarthy, John\An Axiomatization of knowledge and the wise man puzzle

%McDermott, D. [1982] Temporal logic for reasoning about  proceses
and plans. Cognitive  Science, 6 (2), pp. 101-155.

>***McDermott, D.\Non-monotonic logic II:  Non-monotonic modal theories\Yale Univ.\
*1980.

McDermott, D. and Doyle, J.\Non-monotonic logic I\Artifial Intelligence, 13 (1,2),
pp. 41-72.

Mercer, R.E. and Reiter, R.\ The Representation of Presuppositions Using Defaults\
Univ. of British Columbia\Tech. report 82-1\March 1982.

%Mercer, R.  and  Rosenberg,  R.S.  [1984]  Generating  corrective
answers  by  computing presuppositions of answers, not questions,
or Mind your P's, not Q's. Proc CSCSI-84, pp16-18.

*Minker, Jack\On indefinite databases and the closed world assumption\Univ. of
>Maryland\1981.  Non-Monotonic

Minker, J.\ Applications of Protected Circumscription\unknown.

Minker, J. and Perlis, D.\ On the Semantics of Circumscription (draft)\ Univ.
of Maryland\July 1983.

%Minker, J. [1983] On theories of definite  and  indefinite  data-
bases. Tech. Report, University of Maryland.

%Minker, J.  and  Perlis,  D.  [1984]  Protected  circumscription.
Draft.

Minker, Jack and Donald Perlis\Circumscription: Finitary Completeness Results\
Computer Science Dept., University of Maryland\April 1984

%Minsky, M. [1974] A framework for representing knowledge. MIT  AI
Lab Memo 306.

%Moore, R. [1975] Reasoning from incomplete knowledge  in  a  pro-
cedural deduction system. MIT AI Lab Memo 347.

>Moore, Robert C.\Semantical Considerations on Nonmonotonic Logic\SRI, Tech Note 284\
*June 1983.

%Moore, R. [1983] Semantical considerations on non-monotonic  log-
ic. Proc. 8th IJCAI, pp. 272-279.

Moore, Robert\Reasoning about knowledge and action\AI Lab., Stanford University

%Nau, D. and Reggia, J. Relationships between deductive and abduc-
tive  inference  in  knowledge-based  diagnostic problem-solving.
Draft, University of Maryland.

Nourani, C.F.\Equational intensity, initial models, and AI reasoning\
GTE Laboratories Inc.\Technote No. TN 83-376.1\Sept. 22, 1983

%Nutter, J. [1983] Default reasoning in AI  systems.  MSc  Thesis,
SUNY at Buffalo, Computer Science Tech. Report 204.

%Nutter, J. [1983] Default reasoning using monotonic logic: a mod-
est proposal. Proc. AAAI-83, pp. 297-300.

%Nutter, J. [1983] What else is wrong  with  nonmonotonic  logics?
Representational and informational shortcomings. Proc. 5th Cogni-
tive Science Conference, Rochester.

%Pena, L. [1980] The philosophical relevance of a  contradictorial
system  of  logic.  Proc. 10th Int'l Symposium on Multiple-valued
Logic, pp. 238-252.

%Perlis,  D.  [1984]  Non-monotonicity  and  real-time  reasoning.
Draft.

%Reggia, J. and Nau, D. [1984] An abductive  non-monotonic  logic.
Draft.

%Reiter,  R. [1978]  On  closed world databases.  In:   Logic  and
Databases,  Gallaire,  H. and Minker, J. (eds.),  Plenum, pp. 55-
76.

%Reiter, R. [1978] On reasoning by default. Proc TINLAP-2,  Urban-
na, Ill.

%Reiter,   R.     [1980]   Equality   and   domain   closure    in
first-order databases.  Journal of the ACM 27 (2), pp. 235-249.
Nourani, C.F.\Equational Intensity, Initial Models, and AI Reasoning\GTE 
Laboratories, Waltham, MA.

Reiter, Raymond and Criscuolo, Giovanni\Some Representational issues in Default
Reasoning\Comp & Maths with Appls. Vol 9, No. 1\1983

Reiter,R.\A Logic for Default Reasoning\Artificial Intelligence 13\1980.

Reiter, Raymond\Circumscription implies predicate completion (sometimes)\
Rutgers Univesity\

%Reiter, R. and Criscuolo,  G.  [1981]  On  interacting  defaults.
Proc. 7th IJCAI, pp. 270-276.

%Rescher, N. [1976] Plausible Inference. Van  Gorcum,  Assen,  The
Netherlands.

%Rich, E. [1983] Default reasoning as likelihood  reasoning.  Proc
AAAI-83.

%Sandewall, E. [1972] An approach to the frame problem and its im-
plementation. Machine Intelligence 7.

%>Sandewall, Erik\Partial Models, Attribute Propagation Systems, and Non-Monotonic
*Semantics\Linkoping Univ\LITH-IDA-R-83-01\December 1983.

%Shafer, G. [1976] A Mathematical Theory  of  Evidence.  Princeton
Univ. Press.

%Stalnaker, Robert\A note on non-monotonic modal logic\Cornell University

%Touretzky, D. [1984] Implicit ordering of defaults in inheritance
systems. Submitted to AAAI-84.

%Touretzky, D. [1984]  The  mathematics  of  inheritance  systems.
Ph.D. Thesis, Carnegie-Mellon University.

%Vere, S. [1980] Multi-level counterfactuals  for  generalizations
of relational concepts and productions.  Artificial Intelligence,
14 (2), pp. 139-164.

%Webber, B. [1983?] Logics and natural  language.   University  of
Pennsylvania.

%Weyhrauch, R. [1980] Prolegomena to a theory of mechanized formal
reaoning Artificial Intelligence, 13 (1,2), pp. 133-170.

%Winograd, T. [1980] Extended inference modes in reasoning by com-
puter systems. Artificial Intelligence 13 (1,2), pp. 5-26.

%Zadeh, L. [1979] Fuzzy sets and information granularity. In:  Ad-
vances in Fuzzy Set Theory, Gupta, M., Ragade, R., and Yager, R.,
(eds.). North-Holland, Amsterdam, pp. 3-18.













































Papers we don't have are marked by %.
j
                   BIBLIOGRAPHY - NONMONOTONIC REASONING FILE

%Aida, H., Tanaka, H., and Moto-oka, T. [1983] A PROLOG  extension
for  handling  negative  knowledge.   New Generation Computing, 1
(1), 87ff.

%Besnard, Ph., Quiniou, R., and  Quinton,  P.  [1983]  A  theorem-
prover  for  a  decidable subset of default logic. Proc. AAAI-83,
pp. 27-30.

Bibel, W.\First-order reasoning about knowledge and belief\TU Muenchen

%>Bossu, Genevieve and Siegel, Pierre\La Saturation au secours de la non-monotonic\
*(Where the saturation rescues the non-monotony)\Marseilles, France, 1981.

%Brachman, R.J. [1982?] I lied about the trees. Unpublished, Fair-
child Lab for AI Research.

Clark, Keith L.\Negation as failure\Queen Mary College, London

%Cohen, P., and Grinberg, M. [1983] A framework for heuristic rea-
soning about uncertainty. Proc. 8th IJCAI, pp. 355-357.

*Creary, Lewis G.\On the epistemology of commonsense factual reasoning: beyond
>anti-logicism and non-monotonicity\Stanford Univ.\1981.

Davis, Martin\The Mathematics of Non+Monotonic Reasoning\Artificial Intelligence 13\
1980

%Dempster, A.  [1967] Upper and lower probabilities induced  by  a
multivalued mapping. Ann. Math. Statistics, 38, pp. 325-339.

>Doyle, Jon,\Non-monotonic logics and mechanized non-deductive reasoning\
*  Stanford University\1981.

Doyle, Jon\A truth maintenance system\MIT, AI Memo 521\1979.

Doyle, Jon\Admissible state semantics for representational systems\Carnegie-Mellon
   University\1983.

Doyle, Jon\A society of mind\Carnegie-Mellon University\1983.

Doyle, Jon\Expert systems without computers or theory and trust in artificial
   intelligence\Carnegie-Mellon University\1984.

Doyle, Jon\Methodological simplicity in expert system construction\Carnegie-Mellon
   University\1983.

Doyle, Jon\What Should AI wat from the supercomputers?\Carnegie-Mellon University\
   1983.

Doyle, Jon\What is rational psychology?  toward a modern mental philosophy\
   Carnegie-Mellon University\1983.

Doyle, Jon\The ins and outs of reason maintenance\Carnegie-Mellon University\
   1983.

Doyle, Jon\The foundations of psychology, a logico-computational inquiry into the
   concept of mind\Carnegie-Mellon University\1982.

Doyle, Jon\Some theories of reasoned assumptions, an essay in rational
   psychology\Carnegie-Mellon University\1982.

%Doyle, J. [1979] A glimpse of truth maintenance. Proc. 6th IJCAI,
pp. 232-237.

%Doyle, J. and London, P. [????] A selected descriptor-indexed bi-
bliography to the literature on belief revision. MIT AI Memo 568.

Doyle, Jon\Circumscription and Implicit Definability\CS Dept. CMU\
August 31, 1981

Etherington, D. and Reiter, R. [1983] On inheritance  hierarchies
with exceptions. Proc. AAAI-83, pp. 104-108.

>Etherington, David W.\Formalizing Non-Monotonic Reasoning Systems\Univ. of
*British Columbia, Dept. of Computer Science, Tech. Report 83-1\unknown.
*Copy in Non-Monotonic File also.

*Etherington, David W.\Finite Default Theories (thesis)\Univ. of British
>Columbia\August 1982.  Also in non-monotonic file.

Etherington, David, Robert E. Mercer, Raymond Reiter\On the adequacy 
of predicate circumscription for closed-world reasoning\Dept. of CS\University
of British Columbia

%Fahlman, Scott; Touretzky, David S.; Van Roggen, Walter\Cancellation in a Parallel
Semantic Network\IJCAI 81.

>Gabbay, Dov M.\Intuitionistic basis for non-monotonic logic\Univ. of 
*Stuttgart\Lecture notes in computer science, Vol 139, Springer

Gabbay, D.M. and Sergot, M.J.\Negation as inconsistency\Research Report Doc 84/7,
February 1984

%Gabbay, D.M.\N-PROLOG!  An extension of PROLOG with causal implications\
Research Report, Imperial College of Science and Technology, London\1984

Gabbay, D.M.\Theoretical foundations for non-monotonic reasoning in expert systems\
Research Report Draft\Imperial College of Science and Technology, London\April 1984

%Gabbay, D.M.\What is negation in a system and when is failure a negation\
Imperial College of Sciencce and Technology, London\1984

Ginsberg, M.L.\Non-monotonic Reasoning Using Dempster's Rule.

%Grant, J. and Minker, J. [1984] Answering queries  in  indefinite
databases  and the null value problem. Tech. Report 1374, Univer-
sity of Maryland.

%Haas, A. [1981] Reasoning about deduction with unknown constants.
Proc. 7th IJCAI, pp. 382-384.

Halpern, Joe and Yoram Moses\Toward a theory of knowledge and Ignorance\
CS Department\Stanford University

Halpern, Joe and Yoram Moses\Knowledge and common knowledge in a distributed
environment

%Israel, D. [1980] What's wrong with  non-monotonic  logic?  Proc.
AAAI-80, pp.  99-101.

%Konolige, K. [1984] Belief and  incompleteness.  SRI  Tech.  Note
319.

Konolige, Kurt\Circumscriptive Ignorance\Artificial Intelligence Center SRI

Kowalski, Robert\Logic for data description\Imperial College, London

%Kowalski, R. [1979] Logic for Problem Solving. North-Holland, New
York.

%Kramosil, I. [1975] A note on deduction rules with negative prem-
ises.  Proc. 4th IJCAI, pp. 53-56.

%Levesque, H. [1981] Incompleteness in  knowledge  bases.   SIGART
Newsletter 74, p. 150ff.

%Levesque, H. [1981] The  interaction  with  incomplete  knowledge
bases: a formal treatment. Proc. 7th IJCAI, pp. 240-245.

%Levesque, H.J. [1982] A formal treatment of incomplete knowledge.
Fairchild Lab for AI Research, Tech. Report 3.

Levesque J. Hector\A logic of knowledge and active belief\Fairchild Lab. for
Artificial Intelligence Research\Palo Alto, California

Lifschitz, Vladimir\Refelctions on circumscription\Stanford Univ..

Lifschitz, Vladimir\A Logic for Non-Monotonic Reasoning, with Application to 
to Minsky's Bird Problem\Univ. of Texas, El Paso.

Lifschitz, Vladimir\A Special Case of Circumscription\Univ. of Texas, El Paso\
Sept. 1983.

%Lifschitz, V. [????] On non-monotonic  reasoning.  Tech.  Report,
University of Texas.

%Lipski, W. [1977] On the logic of incomplete information. Lecture
Notes  in  Computer  Science,  v.53, Springer, pp. 374-381.  (6th
Symposium on Mathematical Foundations of Computer Science)

%Lukaszewicz, W. [1983] General approach to  nonmonotonic  logics.
Proc. 8th IJCAI, pp. 352-354.

%Lukaszewicz, W. [1984] Non-monotonic logic for default  theories.
Submitted to ECAI-6.

Marek, W.\The Forcing Interpretation of the Non-Monotonic Logic\Dept. of Computer 
Science\Univ. of Kentucky\date unknown.

Marek, W.\A natural semantics for modal logic over databases and model-theoretic
forcing I\Dept. of CS, University of Kentucky

%Martins, J. [1983]  Reasoning  in  multiple  belief  spaces.  PhD
thesis, SUNY at Buffalo, Computer Science Tech. Report 203.

%Martins, J. and Shapiro, S. [1983] Reasoning in  multiple  belief
spaces. Proc. 8th IJCAI, pp. 370-373.

%McAllester, D. [1978] A three-valued  truth  maintenance  system.
MIT AI Lab Memo 473.

%McAllester, D. [1980] An outlook on truth maintenance. MIT AI Lab
Memo 551.

%McAllester, D. [1982] Reasoning utility  package  user's  manual,
version 1. MIT AI Lab Memo 667.

McCarthy, John\Applications of circumscription to formalizing common sense
knowledge\Stanford University

McCarthy, J. [1980] Circumscription--a form of non-monotonic rea-
soning. Artificial Intelligence, 13 (1,2), pp. 27-39.

McCarthy, J. [1980]  Addendum:  circumscription  and  other  non-
monotonic  formalisms.  Artificial  Intelligence,  13  (1,2), pp.
171-172.

McCarthy, J. and Hayes, P. [1969]   Some  philosophical  problems
from the standpoint of artificial intelligence. In Machine Intel-
ligence 4, Meltzer, B. and Michie, D. (eds.), Edinburgh Universi-
ty Press.

McCarthy, John, Masahiko Sato, Takeshi Hayashi, Shigeru Igarashi\On the model
theory of knowledge\Stanford AI Lab Memo AIM-312\Computer Science Dept. Report
No. STAN-CS-78-667\April 1978

McCarthy, John\An Axiomatization of knowledge and the wise man puzzle

%McDermott, D. [1982] Temporal logic for reasoning about  proceses
and plans. Cognitive  Science, 6 (2), pp. 101-155.

>***McDermott, D.\Non-monotonic logic II:  Non-monotonic modal theories\Yale Univ.\
*1980.

McDermott, D. and Doyle, J.\Non-monotonic logic I\Artifial Intelligence, 13 (1,2),
pp. 41-72.

Mercer, R.E. and Reiter, R.\ The Representation of Presuppositions Using Defaults\
Univ. of British Columbia\Tech. report 82-1\March 1982.

%Mercer, R.  and  Rosenberg,  R.S.  [1984]  Generating  corrective
answers  by  computing presuppositions of answers, not questions,
or Mind your P's, not Q's. Proc CSCSI-84, pp16-18.

*Minker, Jack\On indefinite databases and the closed world assumption\Univ. of
>Maryland\1981.  Non-Monotonic

Minker, J.\ Applications of Protected Circumscription\unknown.

Minker, J. and Perlis, D.\ On the Semantics of Circumscription (draft)\ Univ.
of Maryland\July 1983.

%Minker, J. [1983] On theories of definite  and  indefinite  data-
bases. Tech. Report, University of Maryland.

%Minker, J.  and  Perlis,  D.  [1984]  Protected  circumscription.
Draft.

Minker, Jack and Donald Perlis\Circumscription: Finitary Completeness Results\
Computer Science Dept., University of Maryland\April 1984

%Minsky, M. [1974] A framework for representing knowledge. MIT  AI
Lab Memo 306.

%Moore, R. [1975] Reasoning from incomplete knowledge  in  a  pro-
cedural deduction system. MIT AI Lab Memo 347.

>Moore, Robert C.\Semantical Considerations on Nonmonotonic Logic\SRI, Tech Note 284\
*June 1983.

%Moore, R. [1983] Semantical considerations on non-monotonic  log-
ic. Proc. 8th IJCAI, pp. 272-279.

Moore, Robert\Reasoning about knowledge and action\AI Lab., Stanford University

%Nau, D. and Reggia, J. Relationships between deductive and abduc-
tive  inference  in  knowledge-based  diagnostic problem-solving.
Draft, University of Maryland.

Nourani, C.F.\Equational intensity, initial models, and AI reasoning\
GTE Laboratories Inc.\Technote No. TN 83-376.1\Sept. 22, 1983

%Nutter, J. [1983] Default reasoning in AI  systems.  MSc  Thesis,
SUNY at Buffalo, Computer Science Tech. Report 204.

%Nutter, J. [1983] Default reasoning using monotonic logic: a mod-
est proposal. Proc. AAAI-83, pp. 297-300.

%Nutter, J. [1983] What else is wrong  with  nonmonotonic  logics?
Representational and informational shortcomings. Proc. 5th Cogni-
tive Science Conference, Rochester.

%Pena, L. [1980] The philosophical relevance of a  contradictorial
system  of  logic.  Proc. 10th Int'l Symposium on Multiple-valued
Logic, pp. 238-252.

%Perlis,  D.  [1984]  Non-monotonicity  and  real-time  reasoning.
Draft.

%Reggia, J. and Nau, D. [1984] An abductive  non-monotonic  logic.
Draft.

%Reiter,  R. [1978]  On  closed world databases.  In:   Logic  and
Databases,  Gallaire,  H. and Minker, J. (eds.),  Plenum, pp. 55-
76.

%Reiter, R. [1978] On reasoning by default. Proc TINLAP-2,  Urban-
na, Ill.

%Reiter,   R.     [1980]   Equality   and   domain   closure    in
first-order databases.  Journal of the ACM 27 (2), pp. 235-249.
Nourani, C.F.\Equational Intensity, Initial Models, and AI Reasoning\GTE 
Laboratories, Waltham, MA.

Reiter, Raymond and Criscuolo, Giovanni\Some Representational issues in Default
Reasoning\Comp & Maths with Appls. Vol 9, No. 1\1983

Reiter,R.\A Logic for Default Reasoning\Artificial Intelligence 13\1980.

Reiter, Raymond\Circumscription implies predicate completion (sometimes)\
Rutgers Univesity\

%Reiter, R. and Criscuolo,  G.  [1981]  On  interacting  defaults.
Proc. 7th IJCAI, pp. 270-276.

%Rescher, N. [1976] Plausible Inference. Van  Gorcum,  Assen,  The
Netherlands.

%Rich, E. [1983] Default reasoning as likelihood  reasoning.  Proc
AAAI-83.

%Sandewall, E. [1972] An approach to the frame problem and its im-
plementation. Machine Intelligence 7.

%>Sandewall, Erik\Partial Models, Attribute Propagation Systems, and Non-Monotonic
*Semantics\Linkoping Univ\LITH-IDA-R-83-01\December 1983.

%Shafer, G. [1976] A Mathematical Theory  of  Evidence.  Princeton
Univ. Press.

%Stalnaker, Robert\A note on non-monotonic modal logic\Cornell University

%Touretzky, D. [1984] Implicit ordering of defaults in inheritance
systems. Submitted to AAAI-84.

%Touretzky, D. [1984]  The  mathematics  of  inheritance  systems.
Ph.D. Thesis, Carnegie-Mellon University.

%Vere, S. [1980] Multi-level counterfactuals  for  generalizations
of relational concepts and productions.  Artificial Intelligence,
14 (2), pp. 139-164.

%Webber, B. [1983?] Logics and natural  language.   University  of
Pennsylvania.

%Weyhrauch, R. [1980] Prolegomena to a theory of mechanized formal
reaoning Artificial Intelligence, 13 (1,2), pp. 133-170.

%Winograd, T. [1980] Extended inference modes in reasoning by com-
puter systems. Artificial Intelligence 13 (1,2), pp. 5-26.

%Zadeh, L. [1979] Fuzzy sets and information granularity. In:  Ad-
vances in Fuzzy Set Theory, Gupta, M., Ragade, R., and Yager, R.,
(eds.). North-Holland, Amsterdam, pp. 3-18.